import __00SetRelation as sr
import _00SetFunc as ss

#构建整除关系
n=20
X=range(1,n)
R=sr.exactdivision(X)
tv= sr.isreflexive(X,R) and sr.isantisymmetric(X,R) and sr.istransitive (X,R)
ss.drawgraph(R)
print("R",R)
print("tv",tv)